formal axiomatization

Переводы
формальная аксиоматизация
Formal axiomatization requires precision and rigor in definitions.
Формальная аксиоматизация требует точности и строгости в определениях.